@option style:legacy, short_colors:yes, reverse_colors:yes;
.selector {
    padding: (5px - 3) * (5px - 3) / 1px;
}
